Importing Logics

Importing Logics: Soundness and Completeness Preservation

Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing as proposed in [...

Fibring as Biporting Subsumes Asymmetric Combinations

The transference of preservation results between importing (a logic combination mechanism that subsumes several asymmetrical mechanisms for combining logics like temporalization, modalization and globalization) and unconstrained fibring is investigated. For that purpose, a new (more convenient) formulation of fibring, called biporting, is introduced. The equivalence between fibring and biportin...

On the Semantics of Linking and Importing in Modular Ontologies

Modular ontology languages, such as Distributed Description Logics (DDL), E-connections and Package-based Description Logics (P-DL) offer two broad classes of approaches to connect multiple ontology modules: the use of mappings or linkings between ontology modules e.g., DDL and E-connections; and the use of importing e.g., P-DL. The major difference between the two approaches is on the usage of...

Importing Ontologies with Hidden Content

On Importing Knowledge from DL Ontologies: Some Intuitions and Problems

This paper argues for the benefits of distinguishing the notions of “ontology module” and “importing terms from an ontology”, by sampling some papers on these topics in the AI and Database communities. It then proposes intuitions and a formal definition for “importing terms S from KB under rules G”, and looks at the problems of implementing this for very simple kinds of TBoxes.